IEEE Symposium on Logic in Computer Science - PDFSEARCH.IO - Document Search Engine

IEEE Symposium on Logic in Computer Science
Results: 26

#	Item
21	Citations for the Test-of-Time Award from 1994 Awards Committee: Tierry Coquand Dexter Kozen (chair) Leonid Libkin Frank Pfenning Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2014-07-13 10:46:56 Theoretical computer science Category theory Homotopy type theory Type theory Algebraic structures Groupoid IEEE Symposium on Logic in Computer Science Logic programming Frank Pfenning Homotopy theory Mathematics Abstract algebra
22	Macroeconomic and Operational Challenges in Countries in Fragile Situations; IMF Policy Papers; June 15, 2011 Add to Reading List Source URL: www.imf.org Language: English - Date: 2011-07-21 17:05:49 Economics Aid Fragile state International development IEEE Symposium on Logic in Computer Science Development Assistance Committee International Monetary Fund Fragility Capacity building Development International economics International relations
23	Microsoft Word - dps_abstract_griffithjones_16nov12.doc Add to Reading List Source URL: www.un.org Language: English - Date: 2012-11-16 13:52:58 Development economists Economic systems Financial crises International trade Stephany Griffith-Jones Financial crisis Systemic risk Joseph Stiglitz IEEE Symposium on Logic in Computer Science Economics International economics International development
24	PDF Document Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2012-02-14 14:29:19 Computer science IEEE Symposium on Logic in Computer Science Year of birth missing Logic programming Frank Pfenning Logical framework Theoretical computer science Logic in computer science Programming language theory
25	2013 Low-Income Countries Global Risks and Vulnerabilites Report; IMF Policy Paper; September 9, 2013 Add to Reading List Source URL: www.imf.org Language: English - Date: 2013-10-02 15:52:19 IEEE Symposium on Logic in Computer Science Logic in computer science International Monetary Fund Government debt International relations Applied mathematics International development International economics Economics
26	c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-17 15:56:34 Propositional calculus Formal languages Model theory Formation rule Logical truth Symbol Constructible universe First-order logic Dynamical system Logic Mathematical logic Predicate logic